extern int foo(void);

int main(void) {
  return foo() == 3 ? 0 : 1;
}
